flask/policy: use declare_domain for dom0_t
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Thu, 2 Feb 2012 15:21:42 +0000 (15:21 +0000)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Thu, 2 Feb 2012 15:21:42 +0000 (15:21 +0000)
commitc14a9b21171a7dd847188b3f882cf9efd490c414
tree21903f29ba37a1c6db6f9d81d498ff8f09391c5c
parenta15e8b800a7dc62b1edc4314856dbc8f5003a28a
flask/policy: use declare_domain for dom0_t

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
tools/flask/policy/policy/modules/xen/xen.if
tools/flask/policy/policy/modules/xen/xen.te